Definable maximal independent families
نویسندگان
چکیده
منابع مشابه
Definable Maximal Cofinitary Groups
Using countable support iteration of S-proper posets, for some appropriate stationary set S, we obtain a generic extension of the constructible universe, in which b = c = א2 and there is a maximal cofinitary group with a Π2-definable set of generators.
متن کاملMaximal independent families and a topological consequence
For κ ω and X a set, a familyA⊆P(X) is said to be κ-independent on X if |⋂A∈F Af (A)| κ for each F ∈ [A]<ω and f ∈ {−1,+1}F ; here A+1 =A and A−1 =X\A. Theorem 3.6. For κ ω, some A ⊆ P(κ) with |A| = 2κ is simultaneously maximal κindependent and maximal ω-independent on κ . The family A may be chosen so that every two elements of κ are separated by 2κ -many elements of A. Corollary 5.4. For κ ω ...
متن کاملPositivstellensätze for Families of Definable Functions
We present a canonical proof of both the strict and weak Positivstellensatz for rings of differentiable and smooth functions. The construction preserves definability in expansions of the real field, and it works in definably complete expansions of real closed fields as well as for real-valued functions on Banach spaces.
متن کاملCo-analytic mad families and definable wellorders
We show that the existence of a Π 1 -definable mad family is consistent with the existence of a ∆3-definable well-order of the reals and b = c = א3.
متن کاملOn Pairs of Definable Orthogonal Families
We introduce the notion of an M-family of infinite subsets of N which is implicitly contained in the work of A. R. D. Mathias. We study the structure of a pair of orthogonal hereditary families A and B, where A is analytic and B is C-measurable and an M-family.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2019
ISSN: 0002-9939,1088-6826
DOI: 10.1090/proc/14497